How Engineering Mathematics can Improve Software
نویسنده
چکیده
For many decades computer science researchers have promised that the "Formal Methods" developed by computer scientists would bring about a drastic improvement in the quality and cost of software. That improvement has not materialized. We review the reasons for this failure. We then explain the difference between the notations that are used in formal methods and the mathematics that is essential in other areas of Engineering. Finally, we illustrate the ways that Engineering Mathematics can be useful in software projects
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملImplementing a Personal Software Process (PSP) Course: A Case Study
In order to remain competitive in software industry, software engineers need to continuously improve their proficiency. Personal Software Process (PSP) provides a strong concept which helps software engineers inspecting and improving themselves. Yet, when being applied on an undergraduate computer engineering course, several complex mathematical calculations from PSP official exercises could en...
متن کاملExtreme Requirements (XR)
This paper builds upon the work of Kent Beck on Extreme Programming. Here we advance some ideas on how requirements engineering research can improve Extreme Programming and how the managerial common sense exposed by Beck can improve requirements management. The ideas expressed in the paper are anchored on Beck ́s book and on our long experience in Software Engineering. Our main argument is that ...
متن کاملCombining FCA Software and Sage
This paper discusses in how far FCA software can be combined with the computer algebra system Sage. The motivation for this paper is teaching mathematics to software engineering students using Sage and FCA which highlights differences and connections between mathematical and computational structures. Furthermore, this paper provides implementation details on how Sage’s functions for matrices, g...
متن کاملWhy and how can mathematics improve the learning in chemistry and chemical engineering?
Mathematics that is taught at all engineering universities in Sweden and other countries has not been changed for a very long time. With the shift toward greater use of mathematical numerical tools in many engineering subjects, the content and manner of teaching in mathematics are undergoing profound changes. Since the mathematics often is taught early in a curriculum, it is of interest to inve...
متن کامل